An Approach to Employ Modeling in a Traditional Computer Science Curriculum or: Why Posing Essentials of the Object Constraint Language without Objects and Constraints? Martin Gogolla University of Bremen

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• ISO standards
• Object Constraint Language
• ECO
• Metamodeling
• Relational model
• Relational algebra
• Profile
• Web Ontology Language
• Relational database
• Null
• Entityrelationship model

UML and OCL Transformation Model Analysis: Checking Invariant Independence Martin Gogolla, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla|fhilken}@informatik.uni-bremen.de

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Systems engineering
• Scientific modeling
• ECO
• Model-driven architecture
• Metamodeling
• Entityrelationship model
• Invariant
• Model transformation
• Class diagram
• Object Constraint Language
• Executable UML

WebMGSA Spatial Decision Service for BPEL Andreas Donaubauer1, Florian Straub2 1

Source URL: webmgs2010.como.polimi.it

• Workflow technology
• Process management
• Web services
• Business Process Execution Language
• Web Services Description Language
• Geographic information system
• Business process modeling
• Oracle BPEL Process Manager
• BPEL script

From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics M. Gogolla1 , L. Hamann1 , F. Hilken1∗, M. Kuhlmann1 , R. France2 1 {gogolla,lhamann,fhilken,mk}@informatik.uni-bremen

Source URL: www.db.informatik.uni-bremen.de

• Software engineering
• Theoretical computer science
• Unified Modeling Language
• Computing
• Formal methods
• Object Constraint Language
• ECO
• Postcondition
• Object diagram
• Object Process Methodology
• Class diagram
• Invariant

Modeling Blame to Avoid Positive Face Threats in Natural Language Generation Gordon Briggs Human-Robot Interaction Laboratory Tufts University Medford, MA USA

Source URL: hrilab.tufts.edu

Filmstripping and Unrolling: A Comparison of Verication Approaches for UML and OCL Behavioral Models? Frank Hilken, Philipp Niemann, Martin Gogolla, and Robert Wille University of Bremen, Computer Science Department

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Object Constraint Language
• ECO
• Dining philosophers problem
• Conceptual model
• Object Process Methodology

Probability and Information Theory for Language Modeling " Statistical vs. Symbolic NLP

Source URL: ed.loper.org

Reducing the Barriers to Writing Verified Specifications Todd W. Schiller Michael D. Ernst University of Washington

Source URL: homes.cs.washington.edu

• Theoretical computer science
• Formal methods
• Software engineering
• Computing
• Logic in computer science
• Java Modeling Language
• Postcondition
• Extended static checking
• Predicate transformer semantics
• ESC/Java
• Precondition
• KeY

This chapter describes the user language of MODELING

Source URL: www.statmodel.com

Advances in Abstract Categorial Grammars: Language Theory and Linguistic Modeling Makoto Kanazawa National Institue of Informatics Tokyo, Japan http://research.nii.ac.jp/˜kanazawa/

Source URL: calligramme.loria.fr